| 作者 | 題目 | 期刊 | 年份 |
| 郝一江 Hao, Yi Jiang 張曉君 |
動態邏輯：關於程序的模態邏輯 | 哲學動態 (2009：11) |
2009 |
| 聖神修院神哲學院 香港黃竹坑惠福道六號 校務處：college@hsscol.org.hk 圖書館:library@hsscol.org.hk |
Holy Spirit Seminary College 6, Welfare Road, Aberdeen, HK. General Office: college@hsscol.org.hk Library: library@hsscol.org.hk |